41. Large-scale optimization with applications
پدیدآورنده : / Lorenz T. Biegler ... [et al.], editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematical optimization- Congresses,Programming (Mathematics)- Congresses,Inverse problems (Differential equations)- Congresses,Engineering design- Congresses,Molecular structure- Mathematical models- Congresses
رده :
QA402
.
5
.
L356
1997
42. Large-scale optimization with applications
پدیدآورنده : Lorenz T. Biegler ... ]et al.[, editors
موضوع : Congresses ، Mathematical optimization,Congresses ، Programming )Mathematics(,Congresses ، Inverse problems )Differential equations(,Congresses ، Engineering design,Mathematical models Congresses ، Molecular structure
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
43. Large-scale optimization with applications
پدیدآورنده : Lorenz T. Biegler...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Mathematical optimization,Congresses ، Programming )Mathematics(,Congresses ، Inverse problems )Differential equations(,Congresses ، Engineering design,، Molecular structure
رده :
QA
402
.
5
.
L3
44. Large-scale optimization with applications
پدیدآورنده : Lorenz T. Biegler...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Mathematical optimization,Congresses ، Programming )Mathematics(,Congresses ، Inverse problems )Differential equations(,Congresses ، Engineering design,Mathematical models - Congresses ، Molecular structure
رده :
QA
402
.
5
.
L356
1997
45. Logic and computer science
پدیدآورنده : Edited by Piergiorgio Odifreddi
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
9
.
L6
1990
46. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
47. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
48. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
49. Lorge-Scale Optimization with applications
پدیدآورنده : / Lorenz T. Biegler.... [et al]
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Mathematical optimization - Congresses,Programming (Mathematics) - Congresses,Inverse Problems (Differential eqvationss - Congresses),Engineering design - Congresses,Molecular structure - Mathematical modles - Congeresses
رده :
QA
402
.
5
.
L356
1997
50. Lorge-Scale Optimization with applications
پدیدآورنده : / Lorenz T. Biegler.... [et al]
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Mathematical optimization - Congresses,Programming (Mathematics) - Congresses,Inverse Problems (Differential eqvationss - Congresses),Engineering design - Congresses,Molecular structure - Mathematical modles - Congeresses
رده :
QA
402
.
5
.
L356
1997
51. Mathematical foundations of computer science 2012
پدیدآورنده : Branislav Rovan, Vladimiro Sassone, Peter Widmayer (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms, Congresses,Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
S96
2012eb
52. Mathematical foundations of computer science 200
پدیدآورنده : / Edward Ochmaanski, Jerzy Tyszkiewicz (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science--Mathematics--Congresses,Computer programming--Congresses,Algorithms--Congresses,Computable functions--Congresses,Machine theory--Congresses
53. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
54. Mathematical foundations of computer science 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
55. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
پدیدآورنده : M. Main...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
56. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
57. Mathematical foundations of programming semantics :
پدیدآورنده : M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
58. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده : M. Main...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
59. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
60. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده : Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : programming languages)lecture notes in computers(-semantics-Congresses,Computer sciences-mathematics-congresses
رده :
QA
76
.
7
.
M38
1990
